reversal automata